@inproceedings{fancy-leino06,
  author = {Juha Leino and Jorma Virtamo},
  title = {An Approximative Method for Calculating Performance Measures of {M}arkov Processes},
  booktitle = {Proceedings of Valuetools'06},
  year = {2006},
  address = {Pisa, Italy},
  url = {http://www.netlab.hut.fi/tutkimus/fancy/publ/leino_valuetools_06.pdf},
  copyright = {(C) ACM, (2006). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the Proceedings of Valuetools'06, (2006) http://doi.acm.org/10.1145/1190095.1190181},
}